/*
 * irqproxy.h
 *
 *  Created on: 01.06.2010
 *      Author: Phil
 */

#ifndef IRQPROXY_H_
#define IRQPROXY_H_

extern void vIRQProxy( void ) __attribute__((naked));

#endif /* IRQPROXY_H_ */
